(DEFPROP P1SETQ (LAMBDA(XPR) (PROG (VAR TEM VAL) (COND ((NOT (EQ (LENGTH XPR) 3)) (ERR NIL))) (COND ((NOT (VARIABLEP (CAR XPR))) (USERERR NOTVARIABLE-P1SETQ))) (SETQ VAR (COND ((SETQ TEM (ASSOC (CADR XPR) CURBIND)) (CDR TEM)) (T (CADR XPR)))) (VARB VAR) (SETQ VAL (P1 (CADDR XPR))) (INCR P1CNT) (INCR P1CNT) (RETURN (LIST (Q SETQ) VAR VAL)))) EXPR)